law of cosines proof